Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
811	Large Scheme: A Personal View John Cowan <> Scheme 2014 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-30 14:57:41 Scheme Comparison of programming languages Functional languages Gauche Lisp programming language Scheme programming language Owl Lisp ALGOL 68 Chicken Software engineering Programming language theory Computing
812	Vol. 3, No. 11 Special issue: OOPS track at SAC 2004, Nicosia/Cyprus Adding Wildcards to the Java Programming Language Mads Torgersen, University of Aarhus, Denmark Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-12-02 10:31:02 Programming language theory Polymorphism Object-oriented programming Data types Java programming language Covariance and contravariance Wildcard Type system Generic programming Software engineering Computing Type theory
813	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
814	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
815	The Defense of Mr Warren Cary, including his Letters with Mr John Smallwood, in the case of the Little Bristoll Add to Reading List Source URL: simonkidner.co.uk Language: English - Date: 2013-12-31 07:22:46 Tartan Insurance Forth Computing Programming language theory Financial institutions Institutional investors Software engineering
816	GAMS Data Exchange API System and Reference Manual, created onCopyright (cGAMS Development Corporation. All rights reserved. GAMS Data Exchange API Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:24 Scanning laser polarimetry Endianness String Extensible Storage Engine Pascal Software engineering Programming language theory Computing Data types Primitive types
817	Microsoft Word - vba_1DCutX.doc Add to Reading List Source URL: www.optimalon.com Language: English - Date: 2012-03-21 23:34:03 Programming language theory Microsoft Excel Calculators Mathematical notation Office equipment Software calculator Stock Numbers ALGOL 68 Software Computing Spreadsheet
818	Pfaadt Software Ingenieurbüro Hartmut & Klaus Pfaadt GbRmbH Paul-Gerhard-Weg 8 DWaldkirch Add to Reading List Source URL: www.pfaadtsoft.de Language: English - Date: 2014-05-17 05:03:47 ALGOL 68 Dynamic-link library I²C Computing Programming language theory Software engineering
819	Automatic Dimension Inference and Checking for Object-Oriented Programs Sudheendra Hangal and Monica S. Lam Computer Science Department Stanford University, CA 94305 {hangal,lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2010-05-01 03:11:59 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type inference Type system Data types Type theory Software engineering
820	Custom Alarms Printing with Visual I/O Impression d’alarmes en mode personnalisé sous Visual I/O UK : It is possible to be informed by program of the arrival of an alarm and to make a particular treatment like sending Add to Reading List Source URL: download.arsoft-int.com Language: English - Date: 2009-06-25 09:48:57 Procedural programming languages Data types Out-of-band management Serial port ALGOL 68 Parity bit Printf format string Integer Computing Software engineering Programming language theory

UPDATE